Solving Systems of Linear Inequalities by Bound Propagation
نویسندگان
چکیده
In this paper we introduce a new method for solving systems of linear inequalities. The algorithm incorporates many state-of-the-art techniques from DPLL-style reasoning. We prove soundness, completeness and termination of the method.
منابع مشابه
An Algorithm Based on Theory of Constraints and Branch and Bound for Solving Integrated Product-Mix-Outsourcing Problem
One of the most important decision making problems in many production systems is identification and determination of products and their quantities according to available resources. This problem is called product-mix. However, in the real-world situations, for existing constrained resources, many companies try to provide some products from external resources to achieve more profits. In this pape...
متن کاملLinear optimization on Hamacher-fuzzy relational inequalities
In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Hamacher family of t-norms is considered as fuzzy composition. Hamacher family of t-norms is a parametric family of continuous strict t-norms, whose members are decreasing functions of ...
متن کاملDelay-dependent robust stabilization and $H_{infty}$ control for uncertain stochastic T-S fuzzy systems with multiple time delays
In this paper, the problems of robust stabilization and$H_{infty}$ control for uncertain stochastic systems withmultiple time delays represented by the Takagi-Sugeno (T-S) fuzzymodel have been studied. By constructing a new Lyapunov-Krasovskiifunctional (LKF) and using the bounding techniques, sufficientconditions for the delay-dependent robust stabilization and $H_{infty}$ control scheme are p...
متن کاملDesigning Incomplete Hub Location-routing Network in Urban Transportation Problem
In this paper, a comprehensive model for hub location-routing problem is proposed which no network structure other than connectivity is imposed on backbone (i.e. network between hub nodes) and tributary networks (i.e. networks which connect non-hub nodes to hub nodes). This model is applied in public transportation, telecommunication and banking networks. In this model locating and routing is c...
متن کاملApproximating fixed points of nonexpansive mappings and solving systems of variational inequalities
A new approximation method for the set of common fixed points of nonexpansive mappings and the set of solutions of systems of variational inequalities is introduced and studied. Moreover, we apply our main result to obtain strong convergence theorem to a common fixed point of a nonexpannsive mapping and solutions of a system of variational inequalities of an inverse strongly mono...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011